201. Theory of finite automata
المؤلف: / Joh, Carroll & Darrel, Long
المکتبة: إدارة المكتبات والمعرفة في مدارس إدارة جامعة طهران (طهران)
موضوع: Sequential machine theory,Formal languages
رده :
511
C319t
202. Theory of finite automata : with an introduction to formal languages
المؤلف: / John Carroll, Darrell Long
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Sequential machine theory,Formal language
رده :
QA276
.
5
.
S4C35
1989
203. Theory of finite automata : with an introduction to formal languages
المؤلف: John Carroll, Darrell Long
المکتبة: (طهران)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4C35
1989
204. Theory of finite automata : with and introduction to formal languages
المؤلف: Carroll, John
المکتبة: (طهران)
موضوع: Sequential machine theory , Formal languages
رده :
QA
267
.
5
.
S4
C35
205. #Theory of machines and computations
المؤلف: #Edited by Zvi Kohavi and Azaria Paz
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
206. Theory of machines and computations; proceedings
المؤلف: Edited by Zvi Kohavi and Azaria Paz
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
207. Theory of machines and computations; proceedings
المؤلف: International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
208. Trace theory for automatic hierarchical verification of speed-independent circuits
المؤلف: David L. Dill.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
رده :
TK7868
.
S9
D385
9999
209. Tree automata and languages
المؤلف: / edited by Maurice Nivat, Andreas Podelski
المکتبة: (طهران)
موضوع: Sequential machine theory,Trees (Graph theory),Programming languages (Electronic computers)
رده :
QA
267
.
5
.
S4
T74
1992
210. Word proccessing in groups
المؤلف: / David B.A. Epstein, with James W.Cannon...{et al.],Epstein
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (طهران)
موضوع: Sequential machine theory,Group theory,Formal languages
رده :
QA
267
.
5
.
S4E67
1992
211. Word processing in groups
المؤلف: David B.A. Epstein, with James W. Cannon...]et al.[
المکتبة: (طهران)
موضوع: ، Sequential machine theory,، Group theory,، Formal languages
رده :
QA
267
.
5
.
S4E6
212. introduction to language and the theory of computation
المؤلف: John C.Martin
المکتبة: (کرمان)
موضوع: sequential machine theory,computable functions
رده :
QA
267
.
5
.
S4M29
1996
213. Introduction to languages and the theory of computation
پدیدآورنده : John C. Martin
موضوع : Sequential machine theory,Computable functions
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
214. state techniques :-Finite
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Sequential machine theory. ;
215. مقدمه‌ای بر نظریه زبان‌ها و محاسبات
المؤلف: / [مولف جان سی. مارتین],عنوان به زبان اصلی: Introduction to languages and the theory of computation,4th ed, c2003 .
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ماشین حالت‌های متناهی,Sequential machine theory,توابع محاسبه‌پذیر,Computable functions
رده :
QA
۲۶۷
/
۵
/
م
۲
م
۲ ۱۳۹۵
